Truth-Functionality and Derivations